Modular logic metaprogramming
نویسندگان
چکیده
منابع مشابه
Metaprogramming in Logic
In this review of metaprogramming in logic we pay equal attention to theoretical and practical issues: the contents range from mathematical and logical preliminaries to implementation and applications in, e.g., software engineering and knowledge representation. The area is one in rapid development but we have emphasized such issues that are likely to be important for future metaprogramming lang...
متن کاملElf: a Language for Logic Deenition and Veriied Metaprogramming
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem provers, proof transformers, or type inference programs for programming languages with complex type systems. Elf uniies logic deenition (in the style of LF, the Edinburgh Logical Framework) with logic programming (in the sty...
متن کاملHierarchical Representation of Legal Knowledge with Metaprogramming in Logic
D We present an application of metaprogramming in logic that, unlike most metaprogramming applications, is not primarily concerned with controlling the execution of logic programs. Metalevel computation is used to define theories from schemata that were either given explicitly or obtained by abstraction from other theories. Our main application is a representation of legal knowledge in a metalo...
متن کاملConcurrent Logic Program- ming, Metaprogramming, and Open Systems
and how can the agent deal with "breakdown" in the sense discussed by Terry Winograd and Fernando Flores. Carl Hewitt of MIT presented actors as an alternative computational model for open-system programming. Many were surprised at the close correspondence between the actor model and concurrent logic programming. This similarity has become increasingly apparent to researchers in both fields. Bo...
متن کاملBuilding Composable Aspect-Specific Languages with Logic Metaprogramming
The goal of aspect-oriented programming is to modularize crosscutting concerns (or aspects) at the code level. These aspects can be defined in either a general-purpose language or in a language that is fine-tuned to a specific aspect in consideration. Aspect-specific languages provide more concise and more readable aspect declarations but are limited to a specific domain. Moreover, multiple asp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2010
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1932682.1869499